Alan Mycroft - PDFSEARCH.IO - Document Search Engine

Alan Mycroft
Results: 16

#	Item
11	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
12	UNIVERSITY OF CAMBRIDGE Computer Science, Maths, Raspberry Pi Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-02 07:32:34 Alan Mycroft Raspberry Pi Raspberry Pi Information and communication technologies in education Computer Mathematics Computing Education Educational technology Technology Home computers
13	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge {firstname}.{lastname}@cl.cam.ac.uk Author’s copy. To appear in LNCS volume of the post-proceedings of IFL’12. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus ALGOL 68 Function Mathematics Adjoint functors Software engineering
14	UNIVERSITY OF CAMBRIDGE Raspberry Pi – Why, What, How Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-06-14 04:58:57 Computer science Blowing a raspberry University of Cambridge Education Higher education Academia Alan Mycroft Raspberry Pi Pi
15	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
16	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus Function ALGOL 68 Mathematics Adjoint functors Software engineering

UPDATE